3.98/5.69	unsat
