5.26/5.87	unsat
