1.29/6.29	unsat
