4.96/5.69	unsat
