5.29/5.87	unsat
