10.77/10.82	unsat
