30.32/31.68	unsat
