30.62/31.34	unsat
