6.19/6.29	unsat
