1.29/4.06	unsat
