25.45/28.44	unsat
