4.77/4.82	unsat
