4.72/4.82	unsat
