31.89/34.04	unsat
