34.41/36.37	unsat
