31.30/35.91	unsat
