5.73/5.82	unsat
