28.20/28.38	unsat
