5.30/6.06	unsat
