36.22/41.06	unsat
