4.97/5.69	unsat
