1.29/6.30	unsat
