3.47/3.64	unsat
