4.89/5.87	unsat
