10.79/10.83	unsat
