5.09/5.82	unsat
