5.84/5.87	unsat
