24.06/26.06	unsat
