5.58/5.79	unsat
