30.50/30.68	unsat
