30.78/30.90	unsat
