4.97/5.87	unsat
