5.58/5.97	unsat
