1.29/4.82	unsat
