10.79/10.87	unsat
