30.17/31.51	unsat
