8.16/12.82	unsat
