4.82/5.79	unsat
