4.66/4.69	unsat
