5.17/5.82	unsat
