25.53/28.44	unsat
