25.80/28.28	unsat
