5.76/5.87	unsat
