28.63/30.65	unsat
