28.38/28.50	unsat
