30.93/31.90	unsat
