5.69/5.87	unsat
