5.58/5.66	unsat
