0.79/0.87	unsat
