28.16/30.68	unsat
