5.79/5.87	unsat
