5.21/6.87	unsat
