30.02/31.82	unsat
