5.58/8.82	unsat
