34.18/36.91	unsat
