28.55/28.63	unsat
