4.28/5.69	unsat
