4.34/4.82	unsat
