25.96/28.44	unsat
