7.19/10.82	unsat
