25.84/26.55	unsat
