4.18/4.69	unsat
