28.35/30.54	unsat
