26.84/29.55	unsat
