25.53/28.40	unsat
