1.58/6.29	unsat
