5.58/6.26	unsat
