11.17/12.82	unsat
