30.83/31.90	unsat
