25.95/28.50	unsat
