34.06/36.04	unsat
